London den 31. Januar

31-3

     Fabian Van Den Broek

Software contains bugs and bugs cost money. A good way to find some bugs quickly is the use of static code analysis. There are no exact numbers on the use of static code analyzers in the industry, but in our experience to few software developers actually make use of them. This thesis describes a survey that was conducted to find out why only so few developers in the Java community use static co...

Lösungen Zu Den Übungsaufgaben

. () Angenommen, es gibt a 6= b ∈ A mit g(f(a)) = g(f(b)). Da f injektiv ist, gilt f(a) 6= f(b). Dann muss aber auch g(f(a)) 6= g(f(b)) gelten, da g injektiv ist. () und () folgen analog. () Würde es f(a) = f(b) für a 6= b ∈ A gelten, so sollte auch g(f(a)) = g(f(b)) gelten, ein Widerspruch zu der Injektivität von g ◦ f . () und () folgen analog. Beispiel: Wir betrachten die Mengen A = ...

Den Essen And

Let z = (z1, · · · , zn) and ∆ = ∑n i=1 ∂ 2 ∂z i the Laplace operator. A formal power series P (z) is said to be Hessian Nilpotent(HN) if its Hessian matrix HesP (z) = ( ∂ 2 P ∂zi∂zj ) is nilpotent. In recent developments in [BE1], [M] and [Z], the Jacobian conjecture has been reduced to the following so-called vanishing conjecture(VC) of HN polynomials: for any homogeneous HN polynomial P (z) ...

Bericht über den Workshop

Mit dem Einzug modellgetriebener Entwicklungsansätze ist die Bedeutung diagrammartiger Dokumente, beispielsweise von Modellen in UML-Notationen, für die Softwaretechnik noch wichtiger geworden. Durch den zunehmenden Einsatz von Modellen in der Softwareentwicklung entsteht in vielen Kontexten der Bedarf, Versionen von Modellen zu bilden und Modelle zu vergleichen, die Ähnlichkeit von Modellen zu...